[IA64] fix ptc.ga virtualization
authorawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Mon, 19 Jun 2006 19:45:42 +0000 (13:45 -0600)
committerawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Mon, 19 Jun 2006 19:45:42 +0000 (13:45 -0600)
commitafe2dd0bc80c9e12707c95e8b80f3c28b0585cd6
tree7cf8c5f3a4f3c34c54d870092cf54e6161559385
parent67799254d1c6d9e1ad5378ffa6dc04312e495c5d
[IA64] fix ptc.ga virtualization

fix ptc.ga virtualization. Uninitialized vcpu doesn't need tlb flush.
ptc_ga_remote_func() calls vmx_vcpu_ptc_l() in IPI context.
I.e. vcpu may not equal to current. On the other hand vmx_vcpu_ptc_l()
assumes vcpu = current. remove the assumption.

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
xen/arch/ia64/vmx/vmmu.c
xen/arch/ia64/vmx/vmx_phy_mode.c
xen/arch/ia64/vmx/vtlb.c
xen/arch/ia64/xen/regionreg.c
xen/arch/ia64/xen/vhpt.c
xen/include/asm-ia64/regionreg.h
xen/include/asm-ia64/vmx.h
xen/include/asm-ia64/vmx_phy_mode.h